Instance,nrRules,success,nrStates,n,runtime_ms
1,3,1,2,1,15
2,3,1,2,1,2
3,3,1,2,1,1
4,3,1,2,1,1
5,3,1,2,1,1
6,3,1,2,1,1
7,3,1,2,1,1
8,3,1,2,1,1
9,3,1,2,1,1
10,3,1,2,1,1
11,3,1,2,1,1
12,3,1,2,1,1
13,3,1,2,1,1
14,3,1,2,1,1
15,3,1,2,1,1
16,3,1,2,1,1
17,3,1,2,1,1
18,3,1,2,1,1
19,3,1,2,1,1
20,3,1,2,1,1
21,3,1,2,1,1
22,52,1,16,2,7
23,52,1,16,2,6
24,52,1,16,2,5
25,52,1,16,2,5
26,52,1,16,2,4
27,52,1,16,2,3
28,52,1,16,2,3
29,52,1,16,2,4
30,52,1,16,2,3
31,52,1,16,2,3
32,52,1,16,2,4
33,52,1,16,2,3
34,52,1,16,2,2
35,52,1,16,2,3
36,52,1,16,2,2
37,52,1,16,2,3
38,52,1,16,2,2
39,52,1,16,2,2
40,52,1,16,2,2
41,52,1,16,2,2
42,52,1,16,2,2
43,52,1,16,2,2
44,52,1,16,2,2
45,52,1,16,2,2
46,52,1,16,2,2
47,52,1,16,2,2
48,52,1,16,2,2
49,52,1,16,2,2
50,52,1,16,2,2
51,52,1,16,2,2
52,52,1,16,2,2
53,52,1,16,2,2
54,52,1,16,2,2
55,52,1,16,2,2
56,52,1,16,2,2
57,52,1,16,2,2
58,52,1,16,2,2
59,52,1,16,2,2
60,52,1,16,2,1
61,52,1,16,2,2
62,52,1,16,2,2
63,52,1,16,2,2
64,52,1,16,2,2
65,52,1,16,2,2
66,52,1,16,2,2
67,52,1,16,2,2
68,52,1,16,2,2
69,52,1,16,2,2
70,52,1,16,2,2
71,52,1,16,2,2
72,52,1,16,2,2
73,52,1,16,2,2
74,52,1,16,2,3
75,52,1,16,2,2
76,52,1,16,2,2
77,52,1,16,2,2
78,52,1,16,2,2
79,52,1,16,2,1
80,52,1,16,2,2
81,52,1,16,2,2
82,52,1,16,2,2
83,52,1,16,2,2
84,52,1,16,2,2
85,52,1,16,2,2
86,52,1,16,2,1
87,52,1,16,2,1
88,52,1,16,2,1
89,52,1,16,2,1
90,52,1,16,2,2
91,52,1,16,2,1
92,52,1,16,2,1
93,52,1,16,2,2
94,52,1,16,2,1
95,52,1,16,2,1
96,52,1,16,2,1
97,52,1,16,2,1
98,52,1,16,2,1
99,52,1,16,2,1
100,52,1,16,2,1
101,52,1,16,2,1
102,52,1,16,2,1
103,52,1,16,2,1
104,52,1,16,2,1
105,52,1,16,2,1
106,52,1,16,2,1
107,52,1,16,2,1
108,52,1,16,2,1
109,52,1,16,2,1
110,52,1,16,2,1
111,52,1,16,2,1
112,52,1,16,2,2
113,52,1,16,2,1
114,52,1,16,2,1
115,52,1,16,2,1
116,52,1,16,2,2
117,52,1,16,2,1
118,52,1,16,2,1
119,52,1,16,2,1
120,52,1,16,2,1
121,210,0,44,2,4
122,52,1,16,2,2
123,52,1,16,2,1
124,52,1,16,2,1
125,52,1,16,2,1
126,52,1,16,2,1
127,52,1,16,2,1
128,52,1,16,2,2
129,52,1,16,2,1
130,52,1,16,2,1
131,52,1,16,2,1
132,52,1,16,2,1
133,52,1,16,2,1
134,52,1,16,2,1
135,52,1,16,2,1
136,52,1,16,2,1
137,52,1,16,2,1
138,52,1,16,2,1
139,52,1,16,2,1
140,52,1,16,2,1
141,52,1,16,2,1
142,52,1,16,2,1
143,52,1,16,2,1
144,52,1,16,2,1
145,52,1,16,2,1
146,52,1,16,2,1
147,52,1,16,2,1
148,52,1,16,2,2
149,52,1,16,2,1
150,241,1,50,3,3
151,241,1,50,3,4
152,241,1,50,3,5
153,241,1,50,3,4
154,241,1,50,3,4
155,241,1,50,3,4
156,241,1,50,3,4
157,241,1,50,3,4
158,241,1,50,3,4
159,241,1,50,3,3
160,241,1,50,3,2
161,193,1,46,3,2
162,241,1,50,3,2
163,241,1,50,3,2
164,241,1,50,3,3
165,241,1,50,3,4
166,193,1,46,3,3
167,193,1,46,3,3
168,241,1,50,3,2
169,241,1,50,3,2
170,241,1,50,3,2
171,193,1,46,3,3
172,591,0,114,3,5
173,241,1,50,3,2
174,591,0,114,3,5
175,241,1,50,3,2
176,241,1,50,3,2
177,241,1,50,3,2
178,193,1,46,3,2
179,241,1,50,3,2
180,241,1,50,3,2
181,591,0,114,3,5
182,241,1,50,3,2
183,193,1,46,3,2
184,241,1,50,3,2
185,241,1,50,3,2
186,591,0,114,3,5
187,241,1,50,3,2
188,241,1,50,3,2
189,193,1,46,3,2
190,241,1,50,3,2
191,241,1,50,3,3
192,591,0,114,3,4
193,241,1,50,3,2
194,193,1,46,3,2
195,193,1,46,3,2
196,241,1,50,3,2
197,193,1,46,3,2
198,241,1,50,3,2
199,241,1,50,3,2
200,241,1,50,3,2
201,241,1,50,3,2
202,241,1,50,3,3
203,241,1,50,3,2
204,241,1,50,3,2
205,241,1,50,3,2
206,241,1,50,3,2
207,241,1,50,3,2
208,193,1,46,3,2
209,241,1,50,3,2
210,193,1,46,3,2
211,241,1,50,3,2
212,241,1,50,3,2
213,193,1,46,3,2
214,241,1,50,3,2
215,241,1,50,3,2
216,241,1,50,3,2
217,241,1,50,3,2
218,241,1,50,3,2
219,241,1,50,3,2
220,193,1,46,3,2
221,193,1,46,3,2
222,241,1,50,3,2
223,591,0,114,3,4
224,241,1,50,3,2
225,591,0,114,3,4
226,241,1,50,3,2
227,241,1,50,3,2
228,241,1,50,3,2
229,241,1,50,3,2
230,241,1,50,3,2
231,241,1,50,3,2
232,241,1,50,3,2
233,193,1,46,3,2
234,193,1,46,3,2
235,241,1,50,3,2
236,241,1,50,3,2
237,241,1,50,3,2
238,241,1,50,3,2
239,591,0,114,3,4
240,241,1,50,3,2
241,591,0,114,3,4
242,193,1,46,3,2
243,241,1,50,3,2
244,241,1,50,3,2
245,241,1,50,3,2
246,193,1,46,3,2
247,241,1,50,3,2
248,241,1,50,3,2
249,241,1,50,3,2
250,241,1,50,3,2
251,241,1,50,3,2
252,241,1,50,3,2
253,241,1,50,3,2
254,241,1,50,3,2
255,193,1,46,3,2
256,193,1,46,3,2
257,241,1,50,3,1
258,241,1,50,3,1
259,241,1,50,3,2
260,241,1,50,3,2
261,241,1,50,3,2
262,241,1,50,3,2
263,241,1,50,3,2
264,241,1,50,3,2
265,241,1,50,3,2
266,241,1,50,3,2
267,241,1,50,3,2
268,193,1,46,3,2
269,241,1,50,3,2
270,938,1,132,4,6
271,426,1,92,4,3
272,1392,0,220,4,9
273,522,1,96,4,4
274,578,1,104,4,4
275,522,1,96,4,4
276,578,1,104,4,4
277,938,1,132,4,5
278,578,1,104,4,4
279,938,1,132,4,6
280,1392,0,220,4,8
281,522,1,96,4,4
282,426,1,92,4,3
283,864,1,136,4,6
284,522,1,96,4,4
285,938,1,132,4,9
286,522,1,96,4,4
287,426,1,92,4,3
288,938,1,132,4,5
289,522,1,96,4,3
290,938,1,132,4,5
291,938,1,132,4,5
292,522,1,96,4,3
293,1392,0,220,4,10
294,522,1,96,4,5
295,8310,0,960,4,70
296,938,1,132,4,6
297,522,1,96,4,4
298,938,1,132,4,6
299,938,1,132,4,5
300,578,1,104,4,4
301,938,1,132,4,5
302,8310,0,960,4,52
303,1392,0,220,4,9
304,522,1,96,4,4
305,578,1,104,4,4
306,1392,0,220,4,9
307,938,1,132,4,6
308,522,1,96,4,5
309,1392,0,220,4,11
310,938,1,132,4,8
311,938,1,132,4,8
312,522,1,96,4,5
313,1392,0,220,4,12
314,938,1,132,4,8
315,938,1,132,4,7
316,1392,0,220,4,13
317,938,1,132,4,6
318,938,1,132,4,5
319,522,1,96,4,5
320,522,1,96,4,5
321,938,1,132,4,6
322,1392,0,220,4,9
323,522,1,96,4,4
324,2080,0,248,4,12
325,522,1,96,4,4
326,522,1,96,4,3
327,522,1,96,4,3
328,938,1,132,4,6
329,938,1,132,4,6
330,938,1,132,4,6
331,522,1,96,4,3
332,938,1,132,4,5
333,1392,0,220,4,9
334,522,1,96,4,3
335,522,1,96,4,4
336,938,1,132,4,6
337,470,0,96,4,3
338,470,0,96,4,4
339,522,1,96,4,4
340,522,1,96,4,4
341,938,1,132,4,7
342,470,0,96,4,3
343,522,1,96,4,3
344,1392,0,220,4,10
345,938,1,132,4,5
346,522,1,96,4,4
347,522,1,96,4,3
348,522,1,96,4,3
349,426,1,92,4,3
350,522,1,96,4,4
351,1392,0,220,4,8
352,522,1,96,4,3
353,938,1,132,4,5
354,426,1,92,4,4
355,522,1,96,4,4
356,522,1,96,4,4
357,522,1,96,4,4
358,426,1,92,4,4
359,522,1,96,4,4
360,522,1,96,4,5
361,938,1,132,4,6
362,522,1,96,4,4
363,522,1,96,4,3
364,522,1,96,4,3
365,1392,0,220,4,10
366,522,1,96,4,4
367,522,1,96,4,3
368,522,1,96,4,4
369,578,1,104,4,4
370,522,1,96,4,3
371,938,1,132,4,6
372,938,1,132,4,6
373,938,1,132,4,6
374,938,1,132,4,6
375,522,1,96,4,3
376,522,1,96,4,3
377,522,1,96,4,3
378,1392,0,220,4,8
379,522,1,96,4,3
380,522,1,96,4,3
381,522,1,96,4,3
382,938,1,132,4,6
383,938,1,132,4,6
384,522,1,96,4,3
385,522,1,96,4,3
386,578,1,104,4,4
387,522,1,96,4,3
388,1156,0,216,4,7
389,522,1,96,4,3
390,938,1,132,4,6
391,578,1,104,4,4
392,522,1,96,4,3
393,522,1,96,4,3
394,938,1,132,4,6
395,522,1,96,4,3
396,522,1,96,4,4
397,938,1,132,4,5
398,938,1,132,4,6
399,578,1,104,4,4
400,522,1,96,4,10
401,426,1,92,4,9
402,522,1,96,4,11
403,1392,0,220,4,26
404,578,1,104,4,12
405,522,1,96,4,5
406,522,1,96,4,4
407,578,1,104,4,5
408,1392,0,220,4,18
409,5326,0,624,4,58
410,938,1,132,4,16
411,578,1,104,4,10
412,522,1,96,4,10
413,938,1,132,4,16
414,938,1,132,4,16
415,522,1,96,4,9
416,578,1,104,4,10
417,1392,0,220,4,21
418,578,1,104,4,10
419,938,1,132,4,14
420,522,1,96,4,9
421,938,1,132,4,14
422,1392,0,220,4,20
423,522,1,96,4,10
424,522,1,96,4,9
425,1392,0,220,4,20
426,578,1,104,4,11
427,1392,0,220,4,21
428,578,1,104,4,11
429,578,1,104,4,10
430,938,1,132,4,12
431,522,1,96,4,5
432,938,1,132,4,8
433,938,1,132,4,9
434,938,1,132,4,7
435,578,1,104,4,5
436,522,1,96,4,5
437,522,1,96,4,5
438,522,1,96,4,5
439,578,1,104,4,5
440,522,1,96,4,4
441,578,1,104,4,5
442,938,1,132,4,7
443,938,1,132,4,8
444,951,1,166,5,8
445,2829,0,342,5,27
446,3419,1,326,5,51
447,1857,0,298,5,29
448,2729,0,374,5,45
449,1775,1,226,5,25
450,3419,1,326,5,51
451,1595,1,210,5,12
452,3419,1,326,5,45
453,1595,1,210,5,24
454,3419,1,326,5,50
455,895,1,158,5,13
456,895,1,158,5,13
457,895,1,158,5,14
458,1595,1,210,5,26
459,3419,1,326,5,51
460,2293,0,362,5,32
461,951,1,166,5,14
462,2293,0,362,5,31
463,19547,0,1742,5,291
464,895,1,158,5,14
465,1595,1,210,5,25
466,2293,0,362,5,31
467,751,1,154,5,11
468,2729,0,374,5,18
469,3419,1,326,5,20
470,951,1,166,5,6
471,895,1,158,5,5
472,1175,1,178,5,8
473,1775,1,226,5,10
474,951,1,166,5,6
475,3419,1,326,5,20
476,951,1,166,5,7
477,1595,1,210,5,10
478,3419,1,326,5,19
479,2293,0,362,5,13
480,1175,1,178,5,7
481,2729,0,374,5,18
482,3419,1,326,5,19
483,3419,1,326,5,21
484,3419,1,326,5,19
485,895,1,158,5,5
486,7475,0,898,5,46
487,2293,0,362,5,17
488,803,1,142,5,6
489,951,1,166,5,7
490,2729,0,374,5,23
491,3418,0,326,5,30
492,1237,1,198,5,10
493,2729,0,374,5,15
494,2293,0,362,5,12
495,2729,0,374,5,15
496,1595,1,210,5,8
497,895,1,158,5,5
498,3673,0,430,5,22
499,19111,0,1750,5,123
500,1775,1,226,5,9
501,3419,1,326,5,21
502,2729,0,374,5,16
503,895,1,158,5,5
504,2729,0,374,5,17
505,1175,1,178,5,7
506,1175,1,178,5,7
507,2293,0,362,5,12
508,1775,1,226,5,9
509,1595,1,210,5,8
510,895,1,158,5,5
511,2293,0,362,5,12
512,1175,1,178,5,8
513,803,1,142,5,6
514,3673,0,430,5,20
515,1595,1,210,5,10
516,1595,1,210,5,9
517,1283,0,194,5,7
518,1175,1,178,5,7
519,3673,0,430,5,23
520,997,1,174,5,5
521,1175,1,178,5,8
522,1595,1,210,5,9
523,3673,0,430,5,18
524,803,1,142,5,4
525,1595,1,210,5,10
526,7751,0,882,5,40
527,2729,0,374,5,15
528,1175,1,178,5,7
529,803,1,142,5,4
530,1595,1,210,5,10
531,645,0,130,5,3
532,3419,1,326,5,25
533,951,1,166,5,5
534,803,1,142,5,5
535,2729,0,374,5,14
536,895,1,158,5,5
537,1175,1,178,5,10
538,1175,1,178,5,7
539,1175,1,178,5,7
540,1175,1,178,5,7
541,1175,1,178,5,7
542,1175,1,178,5,7
543,803,1,142,5,5
544,3419,1,326,5,18
545,895,1,158,5,7
546,1175,1,178,5,12
547,2293,0,362,5,18
548,1775,1,226,5,15
549,2293,0,362,5,17
550,1175,1,178,5,10
551,803,1,142,5,6
552,1775,1,226,5,13
553,9747,0,1138,5,62
554,1595,1,210,5,9
555,803,1,142,5,5
556,951,1,166,5,5
557,1775,1,226,5,9
558,951,1,166,5,5
559,895,1,158,5,5
560,1283,0,194,5,7
561,2729,0,374,5,15
562,803,1,142,5,4
563,1283,0,194,5,7
564,1595,1,210,5,8
565,2729,0,374,5,14
566,803,1,142,5,4
567,895,1,158,5,7
568,1595,1,210,5,9
569,1595,1,210,5,9
570,1775,1,226,5,9
571,2729,0,374,5,15
572,951,1,166,5,5
573,3673,0,430,5,22
574,1595,1,210,5,9
575,1775,1,226,5,9
576,1595,1,210,5,9
577,18327,0,1690,5,132
578,3673,0,430,5,27
579,2133,0,318,5,12
580,1175,1,178,5,6
581,1595,1,210,5,10
582,1775,1,226,5,10
583,1595,1,210,5,10
584,1595,1,210,5,9
585,1595,1,210,5,8
586,1857,0,298,5,9
587,803,1,142,5,5
588,1595,1,210,5,9
589,1595,1,210,5,8
590,803,1,142,5,5
591,3419,1,326,5,20
592,1175,1,178,5,6
593,895,1,158,5,5
594,951,1,166,5,5
595,803,1,142,5,5
596,803,1,142,5,4
597,2729,0,374,5,14
598,2293,0,362,5,12
599,2293,0,362,5,12
600,1775,1,226,5,9
601,1775,1,226,5,9
602,1595,1,210,5,8
603,1283,0,194,5,8
604,1007,1,174,5,5
605,1595,1,210,5,8
606,1595,1,210,5,8
607,2729,0,374,5,14
608,1857,0,298,5,10
609,803,1,142,5,4
610,951,1,166,5,5
611,6875,0,822,5,35
612,951,1,166,5,5
613,1175,1,178,5,6
614,803,1,142,5,4
615,803,1,142,5,5
616,1461,1,210,5,7
617,803,1,142,5,4
618,803,1,142,5,4
619,803,1,142,5,4
620,1175,1,178,5,7
621,1595,1,210,5,12
622,803,1,142,5,6
623,2293,0,362,5,17
624,803,1,142,5,6
625,2293,0,362,5,17
626,3419,1,326,5,28
627,1595,1,210,5,12
628,10727,0,1254,5,71
629,895,1,158,5,5
630,3419,1,326,5,21
631,1775,1,226,5,8
632,803,1,142,5,4
633,2729,0,374,5,14
634,1857,0,298,5,10
635,1175,1,178,5,6
636,1595,1,210,5,8
637,951,1,166,5,5
638,1175,1,178,5,7
639,895,1,158,5,4
640,1775,1,226,5,10
641,1175,1,178,5,7
642,1857,0,298,5,9
643,803,1,142,5,5
644,751,1,154,5,4
645,3419,1,326,5,20
646,1595,1,210,5,9
647,1595,1,210,5,9
648,1775,1,226,5,8
649,2729,0,374,5,15
650,1775,1,226,5,9
651,1175,1,178,5,6
652,645,0,130,5,3
653,3673,0,430,5,21
654,1595,1,210,5,9
655,1595,1,210,5,8
656,1175,1,178,5,7
657,751,1,154,5,4
658,3419,1,326,5,20
659,1688,1,256,6,9
660,1360,1,236,6,7
661,5116,1,468,6,26
662,2252,1,288,6,13
663,2344,1,304,6,12
664,1688,1,256,6,9
665,2252,1,288,6,13
666,4514,0,540,6,27
667,2928,1,340,6,16
668,5652,1,492,6,30
669,1062,0,192,6,5
670,2524,1,320,6,13
671,1416,1,244,6,7
672,2344,1,304,6,14
673,2524,1,320,6,14
674,5652,1,492,6,30
675,2252,1,288,6,17
676,2928,1,340,6,19
677,2344,1,304,6,14
678,3966,0,556,6,22
679,2524,1,320,6,13
680,1744,1,264,6,9
681,2902,0,428,6,15
682,5652,1,492,6,30
683,1360,1,236,6,7
684,1688,1,256,6,9
685,55544,0,5008,6,411
686,2252,1,288,6,19
687,2524,1,320,6,17
688,1062,0,192,6,8
689,3966,0,556,6,26
690,2928,1,340,6,23
691,1800,1,272,6,12
692,1688,1,256,6,12
693,19710,0,2136,6,143
694,3378,0,536,6,22
695,3966,0,556,6,27
696,2414,0,392,6,17
697,2928,1,340,6,25
698,6310,0,672,6,49
699,1416,1,244,6,9
700,3966,0,556,6,27
701,5652,1,492,6,39
702,5652,1,492,6,35
703,2928,1,340,6,24
704,1800,1,272,6,12
705,33336,0,2116,6,306
706,2928,1,340,6,28
707,3966,0,556,6,29
708,2928,1,340,6,26
709,3378,0,536,6,24
710,14682,0,1824,6,108
711,3334,0,468,6,17
712,2344,1,304,6,12
713,1456,1,224,6,9
714,1688,1,256,6,9
715,1800,1,272,6,10
716,1688,1,256,6,9
717,41214,0,3472,6,256
718,3334,0,468,6,18
719,1800,1,272,6,10
720,1176,1,204,6,10
721,1742,1,256,6,10
722,8406,0,1056,6,50
723,28328,0,2328,6,201
724,5116,1,468,6,30
725,3378,0,536,6,16
726,1800,1,272,6,10
727,2252,1,288,6,14
728,1688,1,256,6,10
729,2252,1,288,6,14
730,2524,1,320,6,14
731,2850,0,456,6,15
732,2524,1,320,6,13
733,1094,0,196,6,5
734,1062,0,192,6,5
735,2928,1,340,6,21
736,13560,0,1472,6,77
737,13560,0,1472,6,78
738,2704,1,336,6,13
739,2524,1,320,6,13
740,1062,0,192,6,5
741,1940,0,276,6,10
742,1176,1,204,6,6
743,1176,1,204,6,6
744,1176,1,204,6,6
745,3334,0,468,6,18
746,3334,0,468,6,19
747,2524,1,320,6,13
748,1456,1,224,6,9
749,3334,0,468,6,19
750,6310,0,672,6,35
751,1656,0,256,6,9
752,1688,1,256,6,9
753,3966,0,556,6,20
754,3966,0,556,6,20
755,2992,1,340,6,18
756,1656,0,256,6,8
757,1176,1,204,6,7
758,2252,1,288,6,11
759,1176,1,204,6,7
760,2992,1,340,6,18
761,5116,1,468,6,31
762,2850,0,456,6,15
763,5116,1,468,6,33
764,2524,1,320,6,13
765,1688,1,256,6,10
766,23970,0,2700,6,157
767,2414,0,392,6,13
768,3966,0,556,6,25
769,2252,1,288,6,12
770,1688,1,256,6,10
771,2928,1,340,6,19
772,5116,1,468,6,33
773,5652,1,492,6,29
774,2524,1,320,6,16
775,1324,1,228,6,7
776,1360,1,236,6,7
777,3966,0,556,6,22
778,3966,0,556,6,21
779,1688,1,256,6,9
780,1688,1,256,6,9
781,1688,1,256,6,9
782,1688,1,256,6,9
783,1140,0,200,6,6
784,1062,0,192,6,5
785,1688,1,256,6,9
786,3966,0,556,6,23
787,1416,1,244,6,7
788,1212,0,220,6,6
789,10545,0,864,6,62
790,1416,1,244,6,7
791,3966,0,556,6,22
792,2344,1,304,6,13
793,1744,1,264,6,9
794,2252,1,288,6,13
795,1360,1,236,6,7
796,2524,1,320,6,12
797,1800,1,272,6,10
798,1456,1,224,6,9
799,5116,1,468,6,33
800,1094,0,196,6,6
801,2144,0,288,6,11
802,1688,1,256,6,13
803,2004,0,272,6,18
804,15060,0,1432,6,133
805,1456,1,224,6,12
806,1688,1,256,6,14
807,1688,1,256,6,13
808,1702,0,252,6,10
809,2524,1,320,6,16
810,2524,1,320,6,17
811,2524,1,320,6,21
812,3966,0,556,6,35
813,12992,0,1500,6,91
814,13716,0,1568,6,94
815,2414,0,392,6,16
816,1176,1,204,6,8
817,1456,1,224,6,11
818,3214,1,372,6,25
819,1416,1,244,6,14
820,1744,1,264,6,12
821,6310,0,672,6,45
822,26134,0,2800,6,336
823,5116,1,468,6,38
824,1456,1,224,6,10
825,1688,1,256,6,11
826,2902,0,428,6,20
827,2992,1,340,6,22
828,2524,1,320,6,17
829,1800,1,272,6,12
830,2524,1,320,6,19
831,1744,1,264,6,11
832,1688,1,256,6,12
833,1688,1,256,6,13
834,6310,0,672,6,52
835,2928,1,340,6,23
836,5116,1,468,6,39
837,1800,1,272,6,12
838,1360,1,236,6,9
839,1688,1,256,6,12
840,2252,1,288,6,18
841,22908,0,2136,6,179
842,4358,0,496,6,34
843,2524,1,320,6,21
844,1416,1,244,6,10
845,12035,0,776,6,100
846,6225,1,582,7,59
847,6239,0,718,7,41
848,3185,1,414,7,19
849,3873,1,458,7,23
850,2805,1,386,7,16
851,2563,0,346,7,13
852,6905,1,626,7,37
853,1237,0,226,7,6
854,2109,1,306,7,13
855,18321,1,1078,7,112
856,3585,1,418,7,30
857,2025,1,310,7,14
858,1479,0,254,7,10
859,16417,0,1634,7,122
860,12427,0,1038,7,97
861,7441,1,650,7,55
862,2029,1,346,7,13
863,4469,0,490,7,33
864,3817,1,450,7,29
865,1549,1,266,7,14
866,7291,0,798,7,57
867,7291,0,798,7,62
868,6225,1,582,7,57
869,21345,0,1918,7,160
870,1769,0,310,7,12
871,2349,1,358,7,16
872,3873,1,458,7,31
873,5387,0,770,7,36
874,4647,0,742,7,34
875,6905,1,626,7,57
876,56587,0,3618,7,451
877,28185,0,2754,7,258
878,31763,0,1778,7,204
879,12013,0,1466,7,66
880,7441,1,650,7,40
881,33189,0,3150,7,240
882,3881,1,450,7,25
883,4053,1,474,7,23
884,10223,0,1370,7,62
885,2201,1,334,7,13
886,3817,1,450,7,24
887,20913,0,2338,7,126
888,2349,1,358,7,12
889,3001,1,382,7,18
890,96615,0,6086,7,714
891,4061,1,466,7,32
892,6225,1,582,7,57
893,3011,1,382,7,23
894,49077,0,3686,7,440
895,17481,0,1710,7,127
896,11893,0,1386,7,86
897,6813,1,610,7,59
898,1969,1,302,7,13
899,67965,0,4030,7,522
900,8423,0,926,7,75
901,2173,1,334,7,17
902,6175,0,798,7,50
903,1387,0,254,7,11
904,4117,1,474,7,34
905,18701,0,2218,7,141
906,2259,1,370,7,12
907,3365,1,430,7,19
908,1829,1,286,7,11
909,2109,1,306,7,12
910,46409,0,3330,7,379
911,3273,1,386,7,27
912,1459,0,270,7,9
913,2293,1,350,7,19
914,6175,0,798,7,51
915,3273,1,386,7,26
916,6225,1,582,7,62
917,8423,0,926,7,72
918,1697,0,278,7,14
919,3005,0,382,7,25
920,3881,1,450,7,35
921,2909,1,366,7,23
922,2419,0,342,7,16
923,1917,1,330,7,12
924,3001,1,382,7,28
925,11713,0,1338,7,85
926,102565,0,5366,7,1297
927,6175,0,798,7,41
928,3817,1,450,7,23
929,2349,1,358,7,14
930,4647,0,622,7,28
931,2293,1,350,7,16
932,7291,0,798,7,44
933,3001,1,382,7,20
934,3585,1,418,7,30
935,2405,1,366,7,14
936,2909,1,366,7,18
937,3599,0,538,7,22
938,2179,0,306,7,11
939,2563,0,346,7,12
940,6175,0,798,7,36
941,2419,0,342,7,13
942,17417,0,1694,7,102
943,3001,1,382,7,19
944,2025,1,310,7,12
945,4663,0,666,7,28
946,9483,0,962,7,59
947,22949,0,2166,7,153
948,3873,1,458,7,25
949,17617,0,2082,7,101
950,68643,0,5238,7,447
951,3273,1,386,7,20
952,19777,0,2186,7,146
953,9935,0,1294,7,81
954,4663,0,666,7,36
955,9483,0,962,7,87
956,6175,0,798,7,51
957,7291,0,798,7,65
958,4117,1,474,7,30
959,4117,1,474,7,30
960,5719,0,670,7,40
961,1969,1,302,7,14
962,1789,1,306,7,12
963,2909,1,366,7,19
964,3273,1,414,7,23
965,45745,0,3562,7,413
966,5719,0,670,7,41
967,2293,1,350,7,15
968,2179,0,306,7,14
969,6905,1,626,7,53
970,8241,1,694,7,78
971,7441,1,650,7,52
972,2805,1,386,7,20
973,3585,1,418,7,30
974,3817,1,450,7,27
975,20193,0,2226,7,147
976,7441,1,650,7,54
977,8241,1,694,7,76
978,3273,1,414,7,22
979,29513,0,2866,7,224
980,7291,0,798,7,55
981,3881,1,450,7,30
982,2293,1,350,7,16
983,2805,1,386,7,21
984,16677,1,1046,7,143
985,3861,0,454,7,24
986,8155,0,778,7,74
987,6175,0,798,7,35
988,8241,1,694,7,60
989,2574,1,396,8,16
990,6792,0,812,8,37
991,4802,1,568,8,33
992,15370,1,1064,8,131
993,3166,0,460,8,21
994,25609,0,1400,8,236
995,2622,1,384,8,20
996,15840,0,1456,8,139
997,2734,1,464,8,18
998,7670,1,740,8,63
999,2208,0,352,8,15
1000,9938,1,836,8,95
1001,10762,1,900,8,87
1002,2630,1,404,8,20
1003,4114,1,524,8,27
1004,6288,0,776,8,45
1005,6288,0,776,8,41
1006,4796,0,516,8,33
1007,4636,0,672,8,31
1008,4706,1,560,8,38
1009,3026,0,444,8,21
1010,21136,0,1664,8,179
1011,8602,1,768,8,69
1012,18710,0,1480,8,155
1013,54926,0,4376,8,533
1014,19686,0,2308,8,165
1015,7670,1,740,8,79
1016,18608,0,1464,8,177
1017,2990,1,460,8,25
1018,6176,0,896,8,53
1019,7850,1,756,8,77
1020,10226,1,876,8,93
1021,210900,0,10848,8,1989
1022,36082,0,3344,8,322
1023,4636,0,672,8,30
1024,2990,1,460,8,19
1025,1112,0,212,8,8
1026,3654,0,496,8,25
1027,2596,0,368,8,16
1028,1926,0,308,8,12
1029,10604,0,1104,8,84
1030,74112,0,5348,8,644
1031,10410,1,852,8,84
1032,9284,0,1000,8,65
1033,15370,1,1064,8,159
1034,5252,0,716,8,34
1035,32512,0,3500,8,218
1036,71924,0,6136,8,551
1037,11932,0,1256,8,75
1038,11482,0,1688,8,62
1039,20726,0,2508,8,154
1040,7490,1,724,8,83
1041,57342,0,4204,8,517
1042,4530,1,536,8,39
1043,82508,0,6128,8,838
1044,3086,1,432,8,23
1045,8510,1,752,8,61
1046,7364,0,816,8,56
1047,53408,0,4552,8,467
1048,25270,0,2756,8,192
1049,3222,0,432,8,20
1050,2622,1,384,8,19
1051,7850,1,756,8,66
1052,19384,0,2392,8,140
1053,2932,0,420,8,24
1054,25148,0,2688,8,224
1055,8364,0,940,8,55
1056,11002,1,884,8,69
1057,6472,0,808,8,38
1058,3646,1,448,8,22
1059,9858,1,848,8,55
1060,35066,0,3332,8,255
1061,19998,0,2380,8,110
1062,2778,1,428,8,19
1063,3658,1,460,8,22
1064,1438,0,260,8,9
1065,8786,1,800,8,49
1066,6180,0,632,8,34
1067,3268,0,436,8,18
1068,29406,0,2500,8,202
1069,1554,0,272,8,8
1070,4474,1,528,8,28
1071,2342,1,364,8,13
1072,2346,1,400,8,13
1073,6928,0,660,8,49
1074,5042,1,592,8,38
1075,5260,0,656,8,42
1076,1212,0,228,8,8
1077,5452,0,792,8,38
1078,4444,0,672,8,33
1079,9230,1,808,8,70
1080,3046,1,468,8,22
1081,8761,0,724,8,77
1082,4802,1,568,8,38
1083,2566,1,440,8,16
1084,14308,0,1212,8,118
1085,16942,0,1720,8,123
1086,8602,1,768,8,74
1087,59134,0,4384,8,534
1088,60226,0,4500,8,593
1089,5354,0,752,8,36
1090,3550,1,496,8,26
1091,9496,0,1068,8,68
1092,4862,1,576,8,36
1093,10410,1,852,8,86
1094,75288,0,5840,8,573
1095,48180,0,4408,8,314
1096,6882,1,660,8,51
1097,6882,1,660,8,56
1098,1932,0,320,8,10
1099,3396,1,448,8,19
1100,4162,1,496,8,24
1101,7850,1,756,8,55
1102,7012,0,924,8,38
1103,10536,0,1040,8,67
1104,11038,0,836,8,68
1105,2546,0,400,8,16
1106,22190,0,2516,8,134
1107,15370,1,1064,8,134
1108,9938,1,836,8,61
1109,3314,0,540,8,19
1110,9496,0,1068,8,57
1111,39466,0,2912,8,255
1112,21142,0,2164,8,118
1113,8762,1,724,8,59
1114,8786,1,800,8,49
1115,8762,1,724,8,58
1116,4802,1,568,8,30
1117,10604,0,1104,8,62
1118,2936,0,408,8,15
1119,15840,0,1456,8,109
1120,18756,0,2260,8,103
1121,3550,1,496,8,22
1122,10226,1,876,8,77
1123,2767,0,430,9,15
1124,1695,0,318,9,9
1125,10661,0,1226,9,64
1126,12839,1,1098,9,81
1127,8847,1,882,9,64
1128,16197,0,1182,9,90
1129,312993,0,17770,9,2808
1130,4351,0,606,9,30
1131,29555,1,1766,9,324
1132,26979,0,2526,9,218
1133,42059,0,3198,9,334
1134,9345,0,1066,9,69
1135,7539,1,738,9,69
1136,4555,1,646,9,31
1137,41723,0,3166,9,348
1138,11635,1,978,9,133
1139,2489,0,398,9,18
1140,36491,0,3410,9,315
1141,48711,0,4134,9,374
1142,14989,0,2018,9,87
1143,206131,0,10138,9,2412
1144,211865,0,13254,9,1952
1145,38405,0,2210,9,419
1146,48379,0,3542,9,378
1147,16281,0,1402,9,118
1148,10661,0,1226,9,81
1149,42227,0,3870,9,350
1150,1161,0,242,9,9
1151,3739,1,514,9,28
1152,13145,0,1414,9,102
1153,9461,0,1174,9,67
1154,3401,0,486,9,23
1155,11885,0,1370,9,78
1156,4859,0,634,9,30
1157,182319,0,8790,9,1913
1158,15565,0,1446,9,139
1159,294819,0,15730,9,3173
1160,57089,0,4966,9,492
1161,10569,0,1210,9,77
1162,11015,0,1742,9,78
1163,9051,0,1514,9,64
1164,4435,1,594,9,33
1165,4815,1,578,9,36
1166,10497,0,1158,9,85
1167,102191,0,5618,9,1017
1168,2947,1,458,9,22
1169,7849,0,1050,9,51
1170,5361,0,802,9,33
1171,38075,0,2878,9,300
1172,4063,1,574,9,24
1173,16339,0,1230,9,97
1174,78047,0,5590,9,609
1175,13145,0,1414,9,83
1176,6791,1,778,9,47
1177,5643,1,678,9,35
1178,5223,1,622,9,36
1179,3135,1,462,9,17
1180,19311,0,2258,9,109
1181,55009,0,4778,9,375
1182,6799,1,770,9,51
1183,2719,0,450,9,18
1184,17703,1,1318,9,193
1185,3317,0,458,9,23
1186,5511,1,662,9,44
1187,103779,0,6430,9,1357
1188,13145,0,1414,9,102
1189,7155,1,802,9,53
1190,17675,1,1270,9,190
1191,87591,0,5890,9,836
1192,158689,0,9486,9,1403
1193,23447,0,2338,9,205
1194,6187,0,690,9,47
1195,4775,1,618,9,36
1196,1667,0,306,9,12
1197,7849,0,1050,9,58
1198,10923,0,942,9,99
1199,48731,0,4154,9,455
1200,8861,0,1194,9,61
1201,4421,0,562,9,30
1202,26360,0,1538,9,193
1203,8236,0,868,10,60
1204,6908,1,852,10,59
1205,43588,0,4256,10,374
1206,6696,1,768,10,55
1207,8472,1,864,10,75
1208,5202,0,640,10,35
1209,6376,0,708,10,47
1210,7094,0,772,10,52
1211,26352,0,2692,10,207
1212,26872,0,3256,10,200
1213,287498,0,15548,10,3903
1214,19920,1,1524,10,226
1215,2910,0,440,10,21
1216,12938,0,1404,10,102
1217,4344,1,644,10,28
1218,5040,0,724,10,34
1219,25802,0,1968,10,257
1220,7940,0,896,10,54
1221,4956,1,708,10,34
1222,35056,0,3168,10,277
1223,4036,1,604,10,27
1224,3358,0,536,10,20
1225,4724,0,600,10,33
1226,18940,0,2404,10,122
1227,182092,0,12232,10,1445
1228,6224,1,748,10,50
1229,2708,0,440,10,24
1230,4344,1,620,10,32
1231,8410,0,856,10,79
1232,6344,1,764,10,54
1233,117976,0,6724,10,1165
1234,14544,0,2232,10,106
1235,14760,1,1204,10,152
1236,4816,0,752,10,32
1237,48062,0,5440,10,365
1238,11942,0,1456,10,89
1239,11734,0,1368,10,92
1240,4928,1,708,10,37
1241,11344,1,980,10,98
1242,6300,0,904,10,43
1243,60330,0,5912,10,476
1244,66694,0,5816,10,550
1245,6076,0,692,10,43
1246,101712,0,6744,10,901
1247,11998,0,1656,10,90
1248,5364,0,772,10,36
1249,59986,0,5560,10,455
1250,91492,0,6544,10,940
1251,14850,0,1948,10,108
1252,4724,1,676,10,36
1253,45820,1,2456,10,542
1254,2464,0,416,10,13
1255,6112,1,732,10,45
1256,6528,1,796,10,40
1257,15790,0,1552,10,104
1258,49434,0,4636,10,298
1259,31308,0,3432,10,195
1260,47396,0,4716,10,313
1261,22926,0,1892,10,161
1262,53664,0,5108,10,397
1263,4724,1,676,10,29
1264,46788,0,3744,10,342
1265,5284,0,704,10,29
1266,37712,0,3924,10,235
1267,55382,0,5168,10,335
1268,25440,0,3036,10,152
1269,6204,1,748,10,38
1270,3546,0,512,10,19
1271,13360,1,1220,10,84